Fix bug in io64 target (introduced by commit aba27ac)