avoid compile error due to OS X not renaming the file when I changed capitalisation