Installing version 12.5.4 over an existing version