F# portable debugging (#5531)