fix travis config

Jerome Hilairerequested to merge
github/fork/giannou/develop into develop

Created by: giannou

Merge request reports