Huge hack for g++4.7 on MacOSX with stdc++11