HomeIsabelle/Phabricator

more fixes for alias issues (which for Auto2 means giving up)