No idea, but I suppose a check if it’s installed. It was there when it was in the user menu so I better copy it over.