Work around bug 3545

This is https://coq.inria.fr/bugs/show_bug.cgi?id=3545, certain [apply]s
fail (with "No applicable tactic") when they should not