making coq compilation work

with both versions of coq and with neither version of lablgtk linked up to the
main install tree