coqmktop needs to be told where lablgtk2 is