Хм, после добавления второй строки в мой .bash_profile все заработало:
#this was already there
export http_proxy="192.168.0.99:8080"
#this line added made it work
export https_proxy="192.168.0.99:8080"
Активация прокси в настройках сети не сработала, очень странно ..