Writing filename to stdout for better pipeability