new pypi upload: version 0.1.2