SERVER-11275 Fix build for old GCCs.