another python3 fix for the release script