Tweak lang/fsharp version 3.0.25_1