Tweak Travis build script