Senza editor, scrivendo: print "nomefile"
Con un altro pc dove ho dos funziona!
Non so, forse non si può più fare...