HomeIsabelle/Phabricator

more robust: for the sake of Isabelle.app on macOS;