no default value for `EXTENSION`?