--- desktop/unx/source/pagein.c.orig 2017-10-25 14:25:39 UTC +++ desktop/unx/source/pagein.c @@ -25,7 +25,9 @@ #include #include #include +#ifdef LINUX #include +#endif #include /* do_pagein */