Added inclusion of options.h file.