Fix IA-64 linker failure reported by Andreas Schwab.