Fix makefile for case-sensitive filesystems