If we have a filename and __main__.__file__ hasn't already been set,
set it.
Closes SF issue #624729.
1 file changed