Fix openocd usage in the makefile