Oh actually, hrrm. Do we have lib anywhere other than in src?