bash: jessie changing rename provider; currently file-rename