Actually this is only needed in the code that loads the plugins.

But we will keep plugins.pro non the less, it makes stuff
easier to follow.