Fixed bug #6727: Fatal error install tool