The setting should be a `File`, not a string, since it always will be a filesystem path.  Some of the other "path" settings take strings because they don't necessarily need to correspond to a file (for instance, bash alias, program name on the $PATH, etc.