Don't print strippedname. Fixes #1829. Related: #1743