Fixed travis /dev/shm problem