Why does mathmain need an encrypted loader?