thanks! it will help.
The script described above does not work for x86 (hence Arduino 101), does it?
Separate names with a comma.