Adjustment to travis-ci config