fixing travis OS error