Fix case error causing build failure on case-sensitive filesystems