sophia: fix incorrect ctl buf; gdb exit status