This file seems to be badly out of date. Look at ```which OPENOCD```, too. Are these ```which``` commands used? If not, maybe we can get rid of them. If so,  maybe this and README.txt should both get a refresh.