Fixed bug #11884: User setup: buttons for create/delete ENABLE_INSTALL_TOOL-file...