various FSV documents
Reenabled fflush() in logging