Fix build for older gcc.

Build fix for #740.