After resetting Gaia (`rm -rf profile && make reset-gaia`), the default tone is not selected in the ringtone picker any more. Is that related to this removal?