HomeIsabelle/Phabricator

Change osmem.cpp for Linux.