Travis g++ too old for --std=c++11 option