Fixed yet a Makefile glitch