Rename s1level25 to s1level25.py