Now uses boost instead of C++11 if libstdc++ is GCC v4.7 or earlier