No file is sourced, so $SED is unset.