* Remove unneeded substitution in postConfigure This was fixed here: 81ed5cf2e8 * camlp4: use fetchzip It is considered more reliable than fetchurl
81ed5cf2e8