archimedes needs camlp4
Merge pull request #2714 from planar/archimedes-camlp4

archimedes needs camlp4