use postgresql repo if the chosen version is different from the default version