Travis stuff

Change-Id: I8806e3fff09d578e06532e0be1e59c481466310d