* Makefile.in (options.c options.h): Use stamp file s-options to