Fix travis as /dev/shm does not seem to exist anymore.