fix set self.filename
when using crytic-compile
#726
Merged
self.filename
when using crytic-compile
#726