update coq8.4 to coq8.4pl1 and fix build problems

Fix three compilation issues.

Without the second commit, I don't understand how coq have ever been built with lablgtk using opam. Or lablgtk 2.16.0 puts its stubs in lib/stublibs for the first time?