temporary fix for readline completion ("extra" is back) :-/