"Nonstandard load path elements must be configured in the option coq-load-path."