I rolled `MODEL_FLAG` into this, but it might in principle still be preferable to keep it independent of `DFLAGS` so that it will still be used even in the event of the user calling the system `dmd`.