optional debugfile for kernel.debug