we lost our docker Makefile, so here's a quick patch to get us by (copying what little of the Makefile we were actually using)