start building coq83patched with just "coqlight" target, for speed