workaround for bash-4.2 crashes on Mavericks.