J'ai découvert le même bug sous Windows que j'ai fixé (double fermeture du device). Le tien devrait donc être fixé par la même occasion.