Make ppx_tools compatible with both 4.02 and trunk.