root/pypi: links for picosat-cffi