Fix a problem in installing