mongodb: bring versions back in line, fix 10.9