11-08-2016, 06:42 AM 
		
	
	
		Yes, I have run the Update tool and sudo apt-get update.
I am now installing 3.2 (64 bit this time) on a second computer, I will post the results here.
	
	
	
	
I am now installing 3.2 (64 bit this time) on a second computer, I will post the results here.

 
 

 
