dev-server: reset mongodb installation to default