Use basename of file in header rather than full file name