diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c
index 723a7dd74..0cd0b3003 100644
--- a/src/aig/gia/giaAbsGla.c
+++ b/src/aig/gia/giaAbsGla.c
@@ -1716,7 +1716,8 @@ void Gia_GlaSendCancel( Gla_Man_t * p, int fVerbose )
 ***********************************************************************/
 void Gia_GlaDumpAbsracted( Gla_Man_t * p, int fVerbose )
 {
-    char * pFileName = p->pPars->pFileVabs ? p->pPars->pFileVabs : "glabs.aig";
+    char * pFileNameDef = "glabs.aig";
+    char * pFileName = p->pPars->pFileVabs ? p->pPars->pFileVabs : pFileNameDef;
     Gia_Man_t * pAbs;
     Vec_Int_t * vGateClasses;
     if ( fVerbose )
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c
index 11c848538..59bcbb32c 100644
--- a/src/aig/gia/giaAbsVta.c
+++ b/src/aig/gia/giaAbsVta.c
@@ -1475,7 +1475,8 @@ void Gia_VtaSendCancel( Vta_Man_t * p, int fVerbose )
 ***********************************************************************/
 void Gia_VtaDumpAbsracted( Vta_Man_t * p, int fVerbose )
 {
-    char * pFileName = p->pPars->pFileVabs ? p->pPars->pFileVabs : "vabs.aig";
+    char * pFileNameDef = "vabs.aig";
+    char * pFileName = p->pPars->pFileVabs ? p->pPars->pFileVabs : pFileNameDef;
     Gia_Man_t * pAbs;
     if ( fVerbose )
         Abc_Print( 1, "Dumping abstracted model into file \"%s\"...\n", pFileName );