build.sh: $* -> "$@"
build.sh: $* -> "$@"

The $* syntax fails in case the user calls the script with arguments
containing spaces, eg. build.sh --prefix '/home/My Software/'. The "$@"
syntax just does the right thing.

chsticksel/kind2,mebsout/kind2,mebsout/kind2,daniel-larraz/kind2,AdrienChampion/kind2,mebsout/kind2,chsticksel/kind2,tinelli/kind2,tinelli/kind2,AdrienChampion/kind2,mebsout/kind2,tinelli/kind2,tinelli/kind2,tinelli/kind2,mebsout/kind2,AdrienChampion/kind2,AdrienChampion/kind2,kind2-mc/kind2,mebsout/kind2,mebsout/kind2,chsticksel/kind2,AdrienChampion/kind2,mebsout/kind2,chsticksel/kind2,AdrienChampion/kind2,tinelli/kind2,chsticksel/kind2,AdrienChampion/kind2,AdrienChampion/kind2,AdrienChampion/kind2,chsticksel/kind2,mebsout/kind2