SERVER-11844 filter out some symbols for 32-bit Windows