This should be fixed on HEAD.
thanks, will try to install it later, if a recent current iso is generated.