dependent ports, so that port-lib-depends-check is happy with all of them. Also make portcheck happy too. feedback and OK aja@