No entry for dumpmux in section 8 of the manual