Fix TravisCI build config

Change-Id: Id5e06806177df00acddeb28e75d2da4840d1363c