Fix DMITool's extract option.