Shouldn't this be part of the following #ifdef block?