diff --git a/Agda.spec b/Agda.spec
index ba7d9dc..e8ef5ab 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -16,6 +16,7 @@ Url:            https://hackage.haskell.org/package/%{name}
 Source0:        https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
 Source1:        agda-mode-init.el
 Source2:        https://hackage.haskell.org/package/%{geniplate}/%{geniplate}.tar.gz
+Patch0:         Agda-cpphs-version.patch
 
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros-extra
@@ -110,6 +111,7 @@ This package provides the Haskell %{name} library development files.
 
 %prep
 %setup -q -c -n %{pkgver} -a2
+%patch0 -b .orig
 
 # tweak the Agda version in the emacs mode
 if ! grep -q \"%{version}\" %{pkgver}/src/data/emacs-mode/agda2-mode.el; then