bugfix in openocd config