#3865: different versions are merged, single build enabled