post-release version number bump 0.51 -> 0.52