Redirecting to C file input/output