move from g++-4.7 to clang++