informed and confirmed the bug. As soon a new version is available which includes the fix we will remove the patch and update the port. OK robert@