Fix Travis build configuration

See travis-ci/travis-ci#1641.