[bitfolk] Renumbering: resolver not working? still points to 212.x, instead of 85.y on >=1 machine