tmp commit to help debug travis-ci 64 bits crash.