When does it give you the error?
are you sure you're running in the correct folder?
have you tried renaming the file as said in the post?
Enter the directory created by unzipping the archive and
- rename program01.eng.py as program01.py and edit the file to solve the problem;