SQUASHME: use openocd