6 ms·Thanks for your replies! It's as I feared then. The switch to macports luckily isn't all that painful.by mauntz 10y agoThanks for your replies! It's as I feared then. The switch to macports luckily isn't all that painful.