Fix nasty issue with shared memory on travis.