use src v0.0.7 (slightly different .srclib-cache layout)