New comment by kaewhyes on void-packages repository https://github.com/void-linux/void-packages/issues/12484#issuecomment-502410181 Comment: I am also experiencing the same issue. A 32-bit icd is not being created on my system.