Remove a few more obsolete ports