dist-upgrade changed to full-upgrade, following changes in the newest ubuntu