fix InstallDev bug