update arch ppx