fix travis build on 64bit machine