This can be changed to `@VERSION@` since it's not in 3.12.0.