default/linux/ia64/17.0