I suggest `make coqlight coqide` rather than `make`; we still don't need the entire standard library.