fix compilation under Windows