For some reason, a hook for quitting the dired mode with killing does
not work well