fixed travis filename mistake