Makefile: do not recompile main programs when libraries have changed.