* support/cpp2/Makefile.in: added dependency on options.h