fix the names of the 64bit fp register