update a few version numbers for v0.13