risolto bug file config per openocd