Hack to deal with the incorrect determination of OS version on my OSX 10.8.1 laptop, which led to compilation failure (it thought it was 10.5, and tried to build PPC binaries).