Making cabal spit out 2 executables: one for WP and one for Convergence check