Add support for -ppxopt option.