use 4.02 builtin ppx tag