Yes, it can be worked around with alternative engines (many thanks to qwerty12 and Bundyo for supplying them !). We will need PR specific default config files, but hey, as long as it works...