Slightly simplify Makefile