Improved system update (robustness). Restart is now enforced. Git pull without restarting introduces problems.