remove a use of "refine"

so it still compiles with coq 8.4pl3, patched