fix incorrect minor version for postgres 13

[ezra-varady]

asan workflow incorrectly builds against an old version of postgres13 that's missing some macros we need to validate indices