fix travis filename