Some bash tweaks