Changed GNU C++ compiler option -std=c++11 to -std=c++0x, to see if this makes travis-ci work.