A tool for dumping wtmp files and patching wtmp records