Remove GNU tools from GitHub.