Ich schätze mal, wir haben nicht berücksichtigt, dass es auch noch 32 bit Systeme gibt, sorry.
Für alle, die grad das Problem haben, hier ist der 32 bit player:
https://filehorst.de/d/cooGtqns
Ich tausche aber auch gleich noch den Download oben aus.
edit: download wurde aktualisiert.