small bugfix in install script