HomeIsabelle/Phabricator

prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);