brk3/debug not found