.bashrc: add the adk to $PATH