Please use send-pr (or the equivalent web page, reachable from our front page) to submit this to our Problem Reports database, so it won't get lost in all the discussion on the mailing list. Please don't forget to Cc: the port's maintainer as well. Thanks. mcl