fix: workaround until auctex-11.87 is functional.