SERVER-13181: Fix build break