Less verbose name for openocd