Bugfix for 32-bit binary...