Send the topic "debugging on linux: strange symbols, files open twice, "nothing to be done"" to a friend.