>>>>> "Richard" == Richard Stallman <rms@gnu.org> writes: Richard> You may not need it, but it is supposed to work. It is a Richard> documented feature. Richard> Does it work, now? Yes, I fixed it. -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com