Bugfix: fix random `apt-get update`-issues