Get rid of extlib dependency (no camlp4 anymore).