Rename ex31 to ex31.py