But with `make coqlight coqide` won't it die if decides that it doesn't know how to build `coqide`?