HomeIsabelle/Phabricator

Fixes to compile on Linux.