use distfiles for bash patches