I often have to rm -r build/cached/.cache since it fills up my disk quickly. It would be nice if there was a similar command to just kill the mongo stuff since the third_party code doesn't change nearly as often.