As a workaround, I have installed psi 0.13beta from this PPA:
https://launchpad.net/~maarten-fonville/+archive/ppa This doesn't have the problem.
As a workaround, I have installed psi 0.13beta from this PPA:
https:/ /launchpad. net/~maarten- fonville/ +archive/ ppa
This doesn't have the problem.