Install 32-bit libs on CI so we can run pic32 tools.