Fix linking order.
Remove compilation options that seem overriden by coq_makefile.
Fix compatibility with Coq's trunk.

Updated w.r.t. trunk 33bf52f9881fb457f566478ade3f92550b91c6ba.