gentests.sh: flush stdout before starting test