Another attempt to get travis CI working...