--- src/base/exor/exorUtil.c.orig	2022-10-19 06:05:56.000000000 -0600
+++ src/base/exor/exorUtil.c	2022-11-16 11:40:26.252322689 -0700
@@ -189,7 +189,7 @@ int WriteResultIntoFile( char * pFileNam
     pFile = fopen( pFileName, "w" );
     if ( pFile == NULL )
     {
-        fprintf( pFile, "\n\nCannot open the output file\n" );
+        fprintf( stderr, "\n\nCannot open the output file\n" );
         return 1;
     }