fixed gcc compilation error

Fixes gcc compilation.