Problem with /dev/shm size