Ceps.cc: fix a bug that triggers compilation error on MacOx