Fixing travis CI build