Fixes case of filename.

Small change I had to make while installing on case-sensitive filesystem.