Modify `DevtoolsInstall` to only install if needed, and rename it.