added defaultSettingsFile for TrikKitInterpreterPlugin