Fix ports.mirrors.debian.org v. ftp.ports.debian.org naming mess