Fixing coqdep_boot warning relative to unknown ML files that were in tactics.