bugfix to install.pl