patch and reboot seemed to do the trick. Everything is fine.