Oops, turns out that's not needed after all.  Old info.