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