Core_cm7.h No such file or directory

I just set up Arduino and STM32CubeProgrammer on Kubuntu, following all of the instructions in the wiki. When I try to compile the mixer example sketch I get the error below. core_cm7.h doesn’t seem to exist on my computer. Is there something else that needs to be installed?

In file included from /home/stephen/.arduino15/packages/STMicroelectronics/hardware/stm32/2.1.0/system/Drivers/CMSIS/Device/ST/STM32H7xx/Include/stm32h7xx.h:128,
from /home/stephen/.arduino15/packages/STMicroelectronics/hardware/stm32/2.1.0/cores/arduino/stm32/stm32_def.h:42,
from /home/stephen/.arduino15/packages/STMicroelectronics/hardware/stm32/2.1.0/cores/arduino/stm32/clock.h:19,
from /home/stephen/.arduino15/packages/STMicroelectronics/hardware/stm32/2.1.0/cores/arduino/wiring_time.h:23,
from /home/stephen/.arduino15/packages/STMicroelectronics/hardware/stm32/2.1.0/cores/arduino/wiring.h:38,
from /home/stephen/.arduino15/packages/STMicroelectronics/hardware/stm32/2.1.0/cores/arduino/Arduino.h:36,
from sketch/Mixer.ino.cpp:1:
/home/stephen/.arduino15/packages/STMicroelectronics/hardware/stm32/2.1.0/system/Drivers/CMSIS/Device/ST/STM32H7xx/Include/stm32h750xx.h:225:10: fatal error: core_cm7.h: No such file or directory
225 | #include “core_cm7.h” /*!< Cortex-M7 processor and core peripherals */
| ^~~~~~~~~~~~
compilation terminated.
exit status 1
Error compiling for board Generic STM32H7 Series.