change travis extension