make makefile (hopefully) portable again