Fixed bug #12175: User Setup don't check file time of ENABLE_INSTALL_TOOL