Use OFLog() instead of fprintf(stderr, ...)