A bit of makefile infrastructure