FIx Travis-CI test