lib32-dtc