camlp4: correct the git branch to trunk