PLATFORMID=linux_alpha