Make bash compatible with Debian

Change-Id: Ica523de0ac2240b0b2d4cc72c0ab6e054fb58958