PR: ports/71540 (with fix), ports/71574 Submitted by: Rainer Goellner <rainer at jabbe.de> Approved by: portmgr