Update OSX SDK to 10.9 and use default values for GCC_VERSION and ARCH_FLAGS