WSO 2.5.1

The file was missing in your repro