autoflush for STDERR added