fixed a compile problem on older versions of GCC (e.g., 4.2.1 for MacOS)