Fix FreeBSD ports install issue #7691