reverted fix; causes trouble under windows (?)
reverted fix; causes trouble under windows (?)

mbenz89/soot,xph906/SootNew,mbenz89/soot,plast-lab/soot,mbenz89/soot,cfallin/soot,anddann/soot,anddann/soot,xph906/SootNew,cfallin/soot,mbenz89/soot,plast-lab/soot,plast-lab/soot,anddann/soot,xph906/SootNew,cfallin/soot,xph906/SootNew,cfallin/soot,anddann/soot