Makefile: allow for different compilation methods