try to get travis CI working