Apparently we need to manually install gcc 4.8 for c++11