Fix missing include in options.h.