Remove hard dependency on camlp4

Not mergeable yet.
@diml This is what I initially did, but then I looked at the generated bytecode. (ocamlopt optimizes it away). With your solution, the check would be ran each time; with mine, once at startup.