Use lowercase ia64