Use a real patch level in .travis.yml