Adapt to latest criterion
Trying a simpler .travis.yml