New versions of GHC allow us to specify those things on the command-line, so the build.mk file is no longer necessary.