travis script adapted