I just sent an email to the mailing-list about this issue.