Fix wrong travis filename