Fix a problem in the install script