The command-line argument is fine for now. On a real deployment, the user would be expected to put our `mongo.so` file in their extension directory.