Make coqdep find Require commands prefixed by Time