pushc optionally reads paths from stdin with "stdin" arg. fix crash due to missing log.