I understand this is now fixed in the last commits.