correct travis filename