puts instead of write to $stderr, flush after