bash pathname correction