Fix bug in source verification on Windows