That's REAL the fix for portable bash!