Fixes for Travis CI

Signed-off-by: Tommaso Visconti <tommaso.visconti@gmail.com>