prototypes.py has several places where we enumerate all of our software targets, in code like ports = 'posix win linux darwin'.split(). This should ideally have one source of truth (the build system) instead of being copy-pasted around the place.

This is a very low-prio ticket as we don't change this list often.