SERVER-15441 workaround