* options.cc: Include "demangle.h".