"Nonstandard load path elements must be configured in the option coq-load-path."
SSReflect 1.5, MathComp 1.5