Estate seguro de descargar el archivo binario OpenXDK_#_bin.zip (donde # es la version).