bashrc: use $HOME for home directory
bashrc: remove ant_home