databases/mongodb80: rc20

changes:
https://github.com/mongodb/mongo/compare/r8.0.0-rc19...r8.0.0-rc20

Only 1 pretty obvious bug fix commit on the branch so I dare to
commit this without the usual 24+ hours test build on my RPI4.