Add -DEH and -BEX command-line options