Redirecting to DVI (file format)