Remove duplicates in -ddump-minimial-imports