Correct ligo-acronyms submodule path