Fixes DEVELOPER-543 (upstream brms versions)