Fix build on ia64