used_keys has been changed from 32 to 64 bits. Signed-off-by: Markus Stockhausen <markus.stockhausen@gmx.de>