MongoDB ships with a variety of files. Which file runs the MongoDB shell?