Don't depend on file name for error message
Don't depend on file name for error message

Fixes failed minimization of https://github.com/coq/coq/pull/14746#issuecomment-960971850

JasonGross/coq-tools,JasonGross/coq-tools