Hi Martin, it seems to be the same problem of #684814 (see also [1]). Please make sure that you have /dev/shm enabled.
cheers [1] https://groups.google.com/forum/#!topic/linux.debian.bugs.dist/Td14R0GY7-g -- Antonio Valentino -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org