Update for ppx_tools 0.99.2.