Bug fix: add_timer() does not set owning process