Make Travis config compatible with Docker image.