Revert fd29a5e "Evito di flushare inutilmente in log_message()", perché
effettivamente non era inutile flushare.
Merge branch 'master' into master-release