Show that SSH option handling is broken when whitespace is used