server:  work around for 64 bit system