Update shells/bash to version 4.3.25