Added fix for ubuntu shell trouble with double [[.