replace /dev/shm by /tmp for low memory build hosts (/dev/shm is much faster but one can not be sure that the build host has enough RAM available to speedup the temporary IOs)