Use the more reliable github-hosted makefile.