SERVER-13640 fix build

follow up to 9cfae91efb4c62051d2d460f4cf7c4cb6d10950c