Patched bash to enable colored stderr