replace Firefox 17 with Firefox 24, the new ESR