[CI] Fix user permissions

I should rather find out how to install for all users with apt-get, but
I do not have a Debian system handy.