bugfix for installation script