reinstall devtools from GitHub