@Joe Kilner: that workaround does indeed work. Should be simple to fix this bug by adding that script to the default installation.
@Joe Kilner: that workaround does indeed work. Should be simple to fix this bug by adding that script to the default installation.