push_config_state(3alleg) on Linux

The text 8226e4f3bb6d, as Debian 3.1 (Sarge) shipped it.

push_config_state(3alleg) on Linux now