make path handling robust against different cwd or relative paths
make path handling robust against different cwd or relative paths

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer