change the generation of the static variable prefix, instead of using only the filename, the path is taken into consideration, in the same way as it is done for error messages. This solves bug #179

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@14364 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c