Fix to compile with monodevelop on Debian (ref to Fsharp.Core 4.3)