Fix VARARGS1 for fatal() in util.c, using <stdarg.h>.
Remove default -O option.

  So that it can now be set at the Configure step to any desired value.