proxy configs
fixed the smlnj installation