Make some debugging output changes to sh6