update version for mongodb release