When we add ports from git, be sure they end up in the subdir Makefile