I suggest `make coqlight coqide` rather than `make`; we still don't need the entire standard library, I believe, and it's much quicker to not build it.