remove /dev/shm workaround

this is now fixed in warden-linux