fixed travis config;