debian 6 debian 7 64bit 32bit