working on fixing travis CI