HomeIsabelle/Phabricator

save 90 MB by excluding rlwrap and thus perl;