fixes for extension.hive_fork_manager