set default postgresql version to 9.3