If you have a botched asdf installation, shouldn’t the first step being removing and reinstalling asdf?