[[[ does not work on Bash 4.2.25