I don't know... RenPy used to build for both 64 and 32 bits. I'll look into it in case I'm missing something.