travis config: file name fixed