[sr-dev] git:master:da0a6d48: core: new option BUILD_NEW_LOCAL_VIA to recreate the local via