autoflush was missing for verbose console output