Updated references to 7.5.5253