How do I do it? The previous posts all had you install old version on new os and then do an upgrade. However, there is no 7.2.5 for Ubuntu 12.04 LTS 64bit.