reverted to a more violent killing of bibsched as a daemon: in the current version, it uses os.system to start sub-tasks. While these tasks run, it probably ignores more friendly signals, like SIGINT.