devtools-*.zip => devtools-*.tar.gz for Mac and Linux.