automatically load camlp4 when needed