Travis configuration tweak

Signed-off-by: Benoît Burnichon <bburnichon@gmail.com>