command-line: rename file to path for user-init-error which is kinda exactly like a source-file-error.
command-line: rename file to path for user-init-error which is kinda exactly like a source-file-error.

AlexIljin/factor,factor/factor,bjourne/factor,slavapestov/factor,bpollack/factor,AlexIljin/factor,nicolas-p/factor,AlexIljin/factor,factor/factor,nicolas-p/factor,bjourne/factor,mrjbq7/factor,AlexIljin/factor,AlexIljin/factor,factor/factor,nicolas-p/factor,slavapestov/factor,AlexIljin/factor,bpollack/factor,slavapestov/factor,bpollack/factor,bjourne/factor,mrjbq7/factor,nicolas-p/factor,bpollack/factor,slavapestov/factor,bpollack/factor,tgunr/factor,bjourne/factor,tgunr/factor,bjourne/factor,nicolas-p/factor,mrjbq7/factor,bjourne/factor,nicolas-p/factor,slavapestov/factor,bjourne/factor,factor/factor,tgunr/factor,mrjbq7/factor,slavapestov/factor,tgunr/factor,factor/factor,factor/factor,tgunr/factor,slavapestov/factor,mrjbq7/factor,bpollack/factor,mrjbq7/factor,tgunr/factor,nicolas-p/factor,bpollack/factor,AlexIljin/factor