reboot with ALT+SysReq+REISUB and apt-file search