PLATFORMID=linux_ia64