diff --git a/refinement/macaw-refinement.cabal b/refinement/macaw-refinement.cabal
index 04a39f87..60ba2029 100644
--- a/refinement/macaw-refinement.cabal
+++ b/refinement/macaw-refinement.cabal
@@ -54,8 +54,6 @@ library
                , lens
                , macaw-base
                , macaw-loader
-               -- , macaw-loader-ppc
-               , macaw-loader-x86
                , macaw-symbolic
                , mtl
                , parameterized-utils