Updated modular acl2 for new module paths.