fixing travis filename