inc; bugfix for windows