@zmathe please check. These corrections are based on my experience doing the release this week. Also, @joel where are the scripts that you used to generate the list of machines ? They are not here anymore. One is in dist-utils, but not the skeleton.