Fix compatibility with `-debuglogfile` command-line option

Coverage report is currently being generated, please come back later.