Store build-time options as a string in AST_BUILDOPTS in buildopts.h. Also,