correct travis config

Signed-off-by: Sebastien Varrette <sebastien.varrette@uni.lu>