Oh, well, it seems the new version was just packaged some days ago, so this is now a non-issue. -- Alberto