2da5c22ea3
options FOO=10 # comment would give FOO the value of "10 " and that caused unwanted touches on the opt_*.h files. I hope I've got this right..