bugfix in symexec