builtin-show-ref: use warning() instead of fprintf(stderr, "warning: ")