problems with register renaming. Added official file names