fixes Bug 1019281 - Switch to using 'dppx'