Try to fix Travis-CI builds