Use prefix for saved user settings

This prefix is obtained from `mods/mods_prefix.txt`.

See #565