Attemp to fix travis CI