GUI makefile (more) compatible with linux