Remove a few obsolete ports from Makefile index