[tor-commits] [orbot/master] don't make these final, because the user might change them