fixup! Use python-versioneer to prep PyPI pushes