bspopts.h.in