Trying git clone depth 25

This is a test for #1332.