Fixing acl2-init to work with git