change makefile to use openocd