added travis config setting