Tom, Something is wrong with the generation of options.h, I've noticed it sometimes tries to build it in include/ not build/include/options.h. I added a few things to options.h.in and I couldn't figure out how to make it rebuild build/include/options.h :<
Thanks, Jason
