Proof search fix
Tinker with popen/poll