More fixing of the GitHub release script.