Added #include necessary for g++ compilation.