Made release.php platform-independent.