Makefile should better deal with header modifications