We think that every compilation tool ought to be able to generate
dependencies as a side effect of compilation. Furthermore, at least
make-based tools are nearly universally in use (at
least in the free software community), the tool itself should generate
dummy dependencies for header files, to avoid the deleted header file
bug. Finally, the tool should generate a dependency for each probe,
instead of each successful file open, in order to avoid the duplicated
new header bug.