Fix compiler error in gcc