Linux: unify the Makefile builds, produce cleaner output