Changed to require("../ltl") to fix travis build