Ia32 != IA32 on case sensitive file systems