Make deadman_buttons optional (none by default)