Right now I don’t have 32 bits support but I can try to do an export. I’ll have to check that everything is working fine before making it available. I’ll update you here when it’s done
