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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
