Make modelsim working on 64 bit machine