more fixups
Merge branch 'patches/mongodb-session-handler' into MOODLE_26_STABLE-local