A tiny bit of makefiling