fix a minor issue with the install file