appendixnumberbeamer from package manager instead