Oh nevermind, I saw the comment in the documentation of `gjs_debug_coverage_write_statistics`, so we do want to call it also when the file is NULL?