This was accidentally duplicated in some earlier merge or backport. It's
in an "#ifdef WIN32" block, so it's dead for GPDB, but let's be tidy.