The text 27be2b963abd, as Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.
psi3(1) on Linux now
