make install-coqlight installs DLLCOQRUN and LIBCOQRUN