made buildable in systems where file system is case sensitive

[adrianimboden]

I successfully built the gcc branch under Debian Wheezy, but needed to make these small changes because linux uses case sensitive file systems.

[richlegrand]

Thanks Adrian!