Repository `defs` moved from `lib` to application root