diff -r a8433c7a0d8c -r f98e1946c74f install.py --- a/install.py Sun May 18 19:50:05 2014 +0200 +++ b/install.py Sun May 18 19:51:22 2014 +0200 @@ -1223,6 +1223,7 @@ if installFromSource: print("Cleaning up source ...") cleanupSource(sourceDir) + print() # cleanup old installation print("Cleaning up old installation ...")