couple bugfixes to the installer