tweak travis build script