Fix USE_GITHUB usage.

(And in some case, reorder the Makefiles a bit to complie with the
handbook.)