Fixed compilation error in gcc due to missing include