bash manual 3.2 modified