use new version of [[ since we are using bash