adding a fix to InstallFormhub.R