HomeIsabelle/Phabricator

Fix changes for Unix.