Add Conditional Compilation Symbol BUGGY for VS 2010 NHol project.

The code was not compiling without this symbol.

Signed-off-by: Eric Taucher <Researcher0x00@gmail.com>