Directory name capitalization bug fixed in prj.mk