Makefile: fix a compilation error