Description

Since the release is done on Linux, and these release tools are explicitly for our use only, it's a bit of a waste to run the tests for them on other platforms, and an even bigger waste to spend development effort making the code portable and so on.