changes to get travis CI working