Jakub Klinkovský authored Sep 18, 2021 and Kristian Klausen committed Oct 02, 2021

We've hit this problem at least twice in the past, last time with the new
Vector skin update. With this change it should not be necessary to do
anything manually after an update.