diff --git a/Agda-stdlib.spec b/Agda-stdlib.spec
index 0ea17b5..9e472ee 100644
--- a/Agda-stdlib.spec
+++ b/Agda-stdlib.spec
@@ -24,6 +24,8 @@ BuildRequires: ghc-rpm-macros-extra
 BuildRequires: ghc-rpm-macros
 %endif
 BuildRequires:  Agda
+# needed for filemanip
+BuildRequires:  ghc-unix-compat-devel
 # Agda needs ghci and is not building on arm currently
 ExclusiveArch:  %{ghc_arches_with_ghci}
 ExcludeArch:    armv7hl