Am 03.02.2012 16:16, schrieb Michael: > Could you please update the port to version 1.42 In the meanwhile, I have updated the port to 1.42. Thanks for the heads-up.