travis-ci config changes