Correcting travis filename