fix travis config file name