OS X bash-3.2 fix