Use dppx instead of non-existing ppx resolution unit
Merge pull request #2057 from mkurz/dppx_fix

Use dppx instead of non-existing ppx resolution unit