tsk_hdb_regenerate_index() now works.