to highlighter (used to pass db_php). Also removed code using db_php.
… and more
…ointing out the bug.
…tian Bergmann for pointing out the bug. This will now generate a runtime error, which is not good but because for now ocamlthrift is used only by facebook specific stuff, it's ok. At some point I'll need to have configure to check for the architecture.
Bergmann for the bug report