Update on travis configuration