BUG: fixing travis filename