extlib depends on camlp4
Merge pull request #2542 from avsm/extlib-camlp4

extlib depends on camlp4