change travis filename