convert desktop to 64bit debian 7.4