update ubuntu-travis.sconf