travis-ci config fix