tweaking firefox and travis settings