Improve mkports.sh to add ports from build-files/ports-overlay
to the target ports directory now