Not using /dev/shm resulted in disk trashing under certain
circumstances.

This means that when starting a docker container additional option for
the size of /dev/shm must be added (`--shm-size`).