Per chi avesse lo stesso problema, può essere risolto anche con un

fflush(stdin);