Update doc/INSTALL. OS X Mavericks can build macosx-x86-64-native
without any external tools or tricks.