Make release.py executable
Add file numbering script