Minor simplification in Makefile