Install Picadehat by mistake

That can end up being a faster fix in the long run. And no guessing about as to what’s broken.