changed definition in Spy header, compiles now for older version g++