Fix a Makefile warning