Thanks for the workaround, Kodi 15 is exiting just fine, now.
I just stumbled over one problem: Using the Pi(e) on my old 4:3 tube tv, I naturally see the black bars over and under every video which is not „retro“ itself. While this wasn’t a problem on Kodi 14, the new beta version doesn’t seem to overlay the terminal properly and there is a lot of annoying text around the video.
A solution to minimize the problem is to use the clear or reset command, so that there is only one small line of text in the background. But has anyone an idea for a better solution?