tweak travis-ci config.