Hello: I do not know if this e-mail account is a mail-list or a personal e-mail. Anyway, I woul like to say to the maintainer of this port to upgrade it to the newest recent version, i.e. 5.1.21. Thanks a lot for your work! cheers Xavier