Updating via "apt-get update" "apt-get upgrade" did nothing because I had done that already about 10 minutes before opening this bug.
Updating via "apt-get update" "apt-get upgrade" did nothing because I had done that already about 10 minutes before opening this bug.