Travis CI cfg: trying configure with cflag option CXXFLAGS=-Wno-unused-but-set-variable