go back to 64bit ubuntu