We shouldn't need to install Mongo manually anymore