Fix compilation error when compiling ckpt7 with gcc 4.4.7