> Isn't /dev/shm/ a distro choice?

right - for me and for Jenkins it's /dev/shm as we both run Debian :wink: