fix annoying Makefile issue