BF: provide flush for our stdout wrapper so it would be found