Merge #11781: Add `-debuglogfile` option