examples: enhance sauerbraten 64 bit