Hi Marko, great idea. I’ll attach the new Portfile right away in one of those tickets, so that you can test it. If it works fine, then I’ll close the bug and commit it (but still, my question remains). Vincent