schematool is broken for minor version upgrades (eg 0.13.x)

The schema initialization fails with schema tool in 0.13.1, with the message that "Unknown version specified for initialization: 0.13.1".
The upgrade with schema tool works (ie it runs the upgrade scripts),
but then errors out at the end, when it finds that the version in
metastore is 0.13.0 (not 0.13.1).