So go to Microsoft.com (for windows 8.1) or your favorite retail outlet, and get an upgrade to Windows 7 64 bit (or even windows 8.1 64 bit if you want), your machine will run either OS just fine.
**EDIT: Sorry Stefan, I thought you meant the editor…