apparently the unused -stdlib argument during compilation is unavoidable if we want C++11 headers includeded