OpenTK无法检测到我正在运行的操作系统？

Question

考虑下面这段代码。

using System;
using TK = OpenTK.Configuration;
// ...
    // Everything returns false on linux ??
    foreach (bool config in new bool[]{
            TK.RunningOnAndroid,
            TK.RunningOnLinux,
            TK.RunningOnMacOS,
            TK.RunningOnMono,
            TK.RunningOnSdl2,
            TK.RunningOnUnix,
            TK.RunningOnWindows,
            TK.RunningOnX11,
            }){
        Console.WriteLine(config.ToString());
    }

所有条目都打印false。为什么会这样，我该如何解决？

我正在运行ubuntu 12.04，mono 2.10.8.1和OpenTK 1.1.0。