PLATFORMID=linux_mips64_el