Delete options.h