Enh: we've now got a build server, remove the makefile-time things