How about just removing the `extensions.ini` so we don't have to branch on platform ?