Fix for mavericks

Switching to libstdc++ is not the proper way as everything else depends on libc++.