fixed infinite loop on 32-bit machines (e.g. playground server)