Fix and improve BuildLinux.sh