Rather than a separate cfg file which only specifies the platforms, it
is instead declared in the Dockerfiles themselves, being the first line
starting with '# PLATFORMS:'