run_file(): encode the filename with PyUnicode_EncodeFSDefault() instead of

PyUnicode_AsUTF8String()