Fix code so it compiles when Conditional Compilation Symbol BUGGY is not defined.
Fix code so it compiles when Conditional Compilation Symbol BUGGY is not defined.

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

jack-pappas/NHol