Update alpha and ia64 timer_*.c files for x86_64 file moves.