Fix Makefile for Case-sensitive filesystems