terminology server + 64 bit