Experimenting with Travis to make it work