Fix TRavis build