hack to fix types_hash_max_size bug.