Tweaked initialization of debugging file