A verifier for FreeBSD port directory