Fix compilation on Linux. See #236.