Try to fix Travis ...