fix travis and Firefox