* coverage.c (bbg_file_stamp): New.