Have you tried using a binary from here : http://www.freddiechopin.info/en/download/category/4-openocd