the file name used by Rhino's automatic file saving mechanism.
Class: Rhino.ApplicationSettings.FileSettings