Tiny fixes: printf error messages and gitignore#338

sourcejedi wants to merge 2 commits intojborg:masterjborg/attic:masterfrom

sourcejedi:trivialsourcejedi/attic:trivialCopy head branch name to clipboard