Syntax wibble on LibTactics to appease Coq Trunk