@Michael Vogt: Months later this bug has not been really fixed, please change its status and incorporate fix to the disti
@Michael Vogt: Months later this bug has not been really fixed, please change its status and incorporate fix to the disti