Choose mongodb version manually