I think PR ports/177407 is superseded by the commit of PR ports/177643 (r343178 from 2014-02-07) and can be closed. Thanks a lot. Regards, Rainer Hurling