Fix from 2014-03-12: disable automatic reboot