Fix TravisCI build config

Change-Id: I1eecaffe9b77c1206a134fb1b76e2ae86235219e