HomeIsabelle/Phabricator

Fix for Linux and rebuild configure.