SERVER-13620 update fassert code