maybe it's one of the things to do before the release (ie when the other PRs are merged: clean this up by using similar build_options / build_specs)