added gdb command to log to different filename directly, instead of moving gdb.txt to other location and filename