Please, note that psi has been updated to0.13. Also, if you can, see psi+ (http://code.google.com/p/psi-dev/) and, probably, good idea to add this to ports. -- Regards, Alexey Golodov aka Nirnroot.