Is this default value of `EXT_DEPS` intended or is it just a typo?