Changes to enable building 64bit Linux version. Does not work yet (crashes)