Adjust to latest fixes in latexml