Fixed a g++ 4.8 compiler error about duplicate declaration.