Resolved a compiling error under Linux.