debug script for openocd