random reboots: make them actually work :(