Installing Adaptive Server version 12.5.1 over an existing version 12.5.x