tweaked release script after finding out that it isn't platform-dependent