ctdb: Fix a 32-bit problem