Travis - fixed /dev/shm problem