workaround if __file__ is not defined
...