fix error with noop under windows (#3959)