install.bash: export variables