Use a custom flag to pick native or byte ppx executable.