>> >> This patch is OK. There are still things wrong with the stubs, but it >> fixes some and doesn't introduce new problems. >> > OK thanks. > Now committed.