fixing reboot on linux