do not print "WATCHDOG MARKER END" twice when switching personality