ppx_tools: fix opam 1.1 syntax

ref: #3143