Update:

Die 32 bit (x86)-Version ist jetzt auch verfügbar und funktioniert.