Try to fix Travis configuration