Script: improve Build.sh by using the builtin [[]] instead of []

Script: improve Build.sh by using the builtin [[]] instead of [] #1271