Restore correct default for syzygy path