improved add_ppa (for linux)