implements reboot() fixing issue #17