hopefully fixed travis config