Move syzygy to subdir under src