bash: export variables needed for arduino-mk