python: rename filename.py into filenames.py