We need to manually flush stdin on windows