still fixing travis CI