Correcting travis config file name