Applying Virgile Prevosto's patch for better error report in coqdep (#3029).