Revision 4063 changed the command of apt-get dist-upgrade, so it is no longer...

Revision 4063 changed the command of apt-get dist-upgrade, so it is no longer neccessary to call as it is the same one that is already executed before and we can reuse the output.