What change did we think we need for a GHC 7.6.4 to support Xcode 5? Was it just this change to fiddle with the command line options?

- Mark