remove a bit of debugging code that troubled linux, re #9868