because running ksplice is too complicated