>From rhurlin at gwdg.de Sun Oct 26 11:22:31 2014 > >https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=155354 yes, that's it. I'll probably redo the port from scratch anyway. Anton