Makefile now tracks changes to header files, as we learned so long ago in 524