debian surely has bash