0.15.0 release: a few fixes for new tag format, plus submodule updates