Makefile: forgotten Makefile fix