the makefile is a bit more portable