A bug in do_dup2.