It builds fine without #include "options.h". Maybe some other reason to include it?