Slightly simplifying Makefile