Necessary for debugging with a remote gdb (as opposed to gdbserver).

Reviewed-by: kh1