When building Windows port on Linux.... headers are case sensitive.
Authored by: sumolx 2010-05-07
Parent: [r2761]
Child: [r2763]