tools: fixes for 64-bit.