fix capitalization error on case-sensitive filesystems