this is a general remark: are the default really necessary? given that the buildoptions are set once in main via fixed dict, can they be missing at all?