HomeIsabelle/Phabricator

clarified directory names, following bash_process (see e59d7d6fe1bd);