Also update Travis CI config.