Makefile fix for case-insensitive filesystems