Experimenting to get the travis CI working