Configure SMT Kit's preferred library path