[PATCH] get rid of corner case in dup3() entirely