>>>>>"MC" == Marcus Crestani <crestani at informatik.uni-tuebingen.de> writes: MC> Gcc issues a couple of warnings on 64-bit systems due to pointer MC> conversion. This patch fixes it. I've committed this patch. -- Marcus