Debian: Make ovsdb-server use manager_options column to find managers.