Steps to reproduce: 1. configure, build, and install BLIS 2. `rm $PREFIX/include/blis/blis.h` 3. `make install` does not reinstall `blis.h` This might possibly be due to checking the timestamp on `$PREFIX/include/blis.h` instead?