define EOF in ref_ptr.h (using cstdio)