Switch to the docker-based platform on travis