Port camlp4
Add missing PKGNAMEPREFIX
Use simple protocol for downloads