HomeIsabelle/Phabricator

Fix to Unix version after testing.