Fixing picosat references in pycryptosat