Always use c++11 compiler, but use libstdc++ if not USE_LIBCXX