Patch for Linux-compatibility