Merge pull request #3246 from stanley-cheung/update_debian_install_instructions

Update debian install instructions