Rewrite mobf_settings using fstk