gdb_monitor_interactive & noux_gdb script problem on pandaboard