corrected travis-ci config