more fixups
Merge branch 'patches/mongodb-cache-igbinary-serializer-support' into MOODLE_26_STABLE-local