Bumps to 0.1.2 to, one day, make PyPI happy