install-devtoolset: remove as no longer needed