--- 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;
}