shells/bash-4.0 port horribly broken

[Emanuel Haupt]

> them work; however, I feel that the easiest thing would be to simply
> revert to Bash-3.

This is exactly what I did.

Emanuel