Fix the include path for JSONOptions.h