Do not depend on camlp4