Minor enhancements in build_linux.sh.
Minor enhancements in build_linux.sh.

msteinbeck/tinyspline,retuxx/tinyspline,msteinbeck/tinyspline,msteinbeck/tinyspline,retuxx/tinyspline,msteinbeck/tinyspline,msteinbeck/tinyspline,msteinbeck/tinyspline,msteinbeck/tinyspline,retuxx/tinyspline,msteinbeck/tinyspline