Доброго времени суток. В директории /dev/shm лежит странного вида файл: mono.1xxx (где x - рандомные цифры). Весит 4 КБ, появляется при каждом выключении или перезагрузке компьютера, независимо от того, удалялся ли он. Мне стоит с этим что-то делать, или это безобидный файл?