Updated lemmagen path lin dependencies