Switch to uint64 for sizes with libpndman