[aloisdg]

As a fellow linux user, my package manager does the job for both the runtime and the sdk. It should work for yours too.