diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -2,6 +2,10 @@
 
 ## Next
 
+## 0.9.6.3.1 (2024-03-07)
+
+- Avoid enabling plugins in ghc-options (workaround for #9375)
+
 ## 0.9.6.3 (2024-01-29)
 
 - Set support for GHC 9.6.3
diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal
--- a/liquidhaskell.cabal
+++ b/liquidhaskell.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               liquidhaskell
-version:            0.9.6.3
+version:            0.9.6.3.1
 synopsis:           Liquid Types for Haskell
 description:        Liquid Types for Haskell.
 license:            BSD-3-Clause
@@ -84,7 +84,7 @@
                       ghc-bignum,
                       ghc-prim
   default-language:   Haskell98
-  ghc-options:        -Wall -fplugin=LiquidHaskellBoot
+  ghc-options:        -Wall
 
   if flag(devel)
     ghc-options:      -Werror
diff --git a/src/Data/Bits_LHAssumptions.hs b/src/Data/Bits_LHAssumptions.hs
--- a/src/Data/Bits_LHAssumptions.hs
+++ b/src/Data/Bits_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module Data.Bits_LHAssumptions where
 
 {-@
diff --git a/src/Data/ByteString/Char8_LHAssumptions.hs b/src/Data/ByteString/Char8_LHAssumptions.hs
--- a/src/Data/ByteString/Char8_LHAssumptions.hs
+++ b/src/Data/ByteString/Char8_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.ByteString.Char8_LHAssumptions where
 
diff --git a/src/Data/ByteString/Lazy/Char8_LHAssumptions.hs b/src/Data/ByteString/Lazy/Char8_LHAssumptions.hs
--- a/src/Data/ByteString/Lazy/Char8_LHAssumptions.hs
+++ b/src/Data/ByteString/Lazy/Char8_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.ByteString.Lazy.Char8_LHAssumptions where
 
diff --git a/src/Data/ByteString/Lazy_LHAssumptions.hs b/src/Data/ByteString/Lazy_LHAssumptions.hs
--- a/src/Data/ByteString/Lazy_LHAssumptions.hs
+++ b/src/Data/ByteString/Lazy_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.ByteString.Lazy_LHAssumptions where
 
diff --git a/src/Data/ByteString/Short_LHAssumptions.hs b/src/Data/ByteString/Short_LHAssumptions.hs
--- a/src/Data/ByteString/Short_LHAssumptions.hs
+++ b/src/Data/ByteString/Short_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.ByteString.Short_LHAssumptions where
 
diff --git a/src/Data/ByteString/Unsafe_LHAssumptions.hs b/src/Data/ByteString/Unsafe_LHAssumptions.hs
--- a/src/Data/ByteString/Unsafe_LHAssumptions.hs
+++ b/src/Data/ByteString/Unsafe_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.ByteString.Unsafe_LHAssumptions where
 
diff --git a/src/Data/ByteString_LHAssumptions.hs b/src/Data/ByteString_LHAssumptions.hs
--- a/src/Data/ByteString_LHAssumptions.hs
+++ b/src/Data/ByteString_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.ByteString_LHAssumptions where
 
diff --git a/src/Data/Either_LHAssumptions.hs b/src/Data/Either_LHAssumptions.hs
--- a/src/Data/Either_LHAssumptions.hs
+++ b/src/Data/Either_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module Data.Either_LHAssumptions where
 
 import GHC.Types_LHAssumptions()
diff --git a/src/Data/Foldable_LHAssumptions.hs b/src/Data/Foldable_LHAssumptions.hs
--- a/src/Data/Foldable_LHAssumptions.hs
+++ b/src/Data/Foldable_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module Data.Foldable_LHAssumptions where
 
 import GHC.Types_LHAssumptions()
diff --git a/src/Data/Int_LHAssumptions.hs b/src/Data/Int_LHAssumptions.hs
--- a/src/Data/Int_LHAssumptions.hs
+++ b/src/Data/Int_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module Data.Int_LHAssumptions where
 
 {-@
diff --git a/src/Data/Maybe_LHAssumptions.hs b/src/Data/Maybe_LHAssumptions.hs
--- a/src/Data/Maybe_LHAssumptions.hs
+++ b/src/Data/Maybe_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.Maybe_LHAssumptions where
 
diff --git a/src/Data/Set_LHAssumptions.hs b/src/Data/Set_LHAssumptions.hs
--- a/src/Data/Set_LHAssumptions.hs
+++ b/src/Data/Set_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.Set_LHAssumptions where
 
diff --git a/src/Data/String_LHAssumptions.hs b/src/Data/String_LHAssumptions.hs
--- a/src/Data/String_LHAssumptions.hs
+++ b/src/Data/String_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.String_LHAssumptions where
 
diff --git a/src/Data/Tuple_LHAssumptions.hs b/src/Data/Tuple_LHAssumptions.hs
--- a/src/Data/Tuple_LHAssumptions.hs
+++ b/src/Data/Tuple_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Data.Tuple_LHAssumptions where
 
diff --git a/src/Data/Word_LHAssumptions.hs b/src/Data/Word_LHAssumptions.hs
--- a/src/Data/Word_LHAssumptions.hs
+++ b/src/Data/Word_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module Data.Word_LHAssumptions where
 
 {-@
diff --git a/src/Foreign/C/String_LHAssumptions.hs b/src/Foreign/C/String_LHAssumptions.hs
--- a/src/Foreign/C/String_LHAssumptions.hs
+++ b/src/Foreign/C/String_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Foreign.C.String_LHAssumptions where
 
diff --git a/src/Foreign/C/Types_LHAssumptions.hs b/src/Foreign/C/Types_LHAssumptions.hs
--- a/src/Foreign/C/Types_LHAssumptions.hs
+++ b/src/Foreign/C/Types_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module Foreign.C.Types_LHAssumptions where
 
 import GHC.Int_LHAssumptions()
diff --git a/src/Foreign/Concurrent_LHAssumptions.hs b/src/Foreign/Concurrent_LHAssumptions.hs
--- a/src/Foreign/Concurrent_LHAssumptions.hs
+++ b/src/Foreign/Concurrent_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Foreign.Concurrent_LHAssumptions where
 
diff --git a/src/Foreign/ForeignPtr_LHAssumptions.hs b/src/Foreign/ForeignPtr_LHAssumptions.hs
--- a/src/Foreign/ForeignPtr_LHAssumptions.hs
+++ b/src/Foreign/ForeignPtr_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Foreign.ForeignPtr_LHAssumptions where
 
diff --git a/src/Foreign/Marshal/Alloc_LHAssumptions.hs b/src/Foreign/Marshal/Alloc_LHAssumptions.hs
--- a/src/Foreign/Marshal/Alloc_LHAssumptions.hs
+++ b/src/Foreign/Marshal/Alloc_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Foreign.Marshal.Alloc_LHAssumptions where
 
diff --git a/src/Foreign/Ptr_LHAssumptions.hs b/src/Foreign/Ptr_LHAssumptions.hs
--- a/src/Foreign/Ptr_LHAssumptions.hs
+++ b/src/Foreign/Ptr_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module Foreign.Ptr_LHAssumptions where
 
 
diff --git a/src/Foreign/Storable_LHAssumptions.hs b/src/Foreign/Storable_LHAssumptions.hs
--- a/src/Foreign/Storable_LHAssumptions.hs
+++ b/src/Foreign/Storable_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Foreign.Storable_LHAssumptions where
 
diff --git a/src/GHC/Base_LHAssumptions.hs b/src/GHC/Base_LHAssumptions.hs
--- a/src/GHC/Base_LHAssumptions.hs
+++ b/src/GHC/Base_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module GHC.Base_LHAssumptions where
 
diff --git a/src/GHC/CString_LHAssumptions.hs b/src/GHC/CString_LHAssumptions.hs
--- a/src/GHC/CString_LHAssumptions.hs
+++ b/src/GHC/CString_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# LANGUAGE MagicHash #-}
 {-# OPTIONS_GHC -Wno-missing-signatures #-}
 module GHC.CString_LHAssumptions() where
diff --git a/src/GHC/Classes_LHAssumptions.hs b/src/GHC/Classes_LHAssumptions.hs
--- a/src/GHC/Classes_LHAssumptions.hs
+++ b/src/GHC/Classes_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module GHC.Classes_LHAssumptions where
 
 import GHC.Classes()
diff --git a/src/GHC/Exts_LHAssumptions.hs b/src/GHC/Exts_LHAssumptions.hs
--- a/src/GHC/Exts_LHAssumptions.hs
+++ b/src/GHC/Exts_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module GHC.Exts_LHAssumptions where
 
diff --git a/src/GHC/Float_LHAssumptions.hs b/src/GHC/Float_LHAssumptions.hs
--- a/src/GHC/Float_LHAssumptions.hs
+++ b/src/GHC/Float_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module GHC.Float_LHAssumptions(Floating(..)) where
 
 {-@
diff --git a/src/GHC/ForeignPtr_LHAssumptions.hs b/src/GHC/ForeignPtr_LHAssumptions.hs
--- a/src/GHC/ForeignPtr_LHAssumptions.hs
+++ b/src/GHC/ForeignPtr_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module GHC.ForeignPtr_LHAssumptions where
 
diff --git a/src/GHC/IO/Handle_LHAssumptions.hs b/src/GHC/IO/Handle_LHAssumptions.hs
--- a/src/GHC/IO/Handle_LHAssumptions.hs
+++ b/src/GHC/IO/Handle_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module GHC.IO.Handle_LHAssumptions where
 
diff --git a/src/GHC/Int_LHAssumptions.hs b/src/GHC/Int_LHAssumptions.hs
--- a/src/GHC/Int_LHAssumptions.hs
+++ b/src/GHC/Int_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module GHC.Int_LHAssumptions where
 
diff --git a/src/GHC/List_LHAssumptions.hs b/src/GHC/List_LHAssumptions.hs
--- a/src/GHC/List_LHAssumptions.hs
+++ b/src/GHC/List_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module GHC.List_LHAssumptions where
 
diff --git a/src/GHC/Maybe_LHAssumptions.hs b/src/GHC/Maybe_LHAssumptions.hs
--- a/src/GHC/Maybe_LHAssumptions.hs
+++ b/src/GHC/Maybe_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module GHC.Maybe_LHAssumptions where
 
 {-@
diff --git a/src/GHC/Num/Integer_LHAssumptions.hs b/src/GHC/Num/Integer_LHAssumptions.hs
--- a/src/GHC/Num/Integer_LHAssumptions.hs
+++ b/src/GHC/Num/Integer_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# LANGUAGE MagicHash #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module GHC.Num.Integer_LHAssumptions() where
diff --git a/src/GHC/Num_LHAssumptions.hs b/src/GHC/Num_LHAssumptions.hs
--- a/src/GHC/Num_LHAssumptions.hs
+++ b/src/GHC/Num_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module GHC.Num_LHAssumptions where
 
 {-@
diff --git a/src/GHC/Ptr_LHAssumptions.hs b/src/GHC/Ptr_LHAssumptions.hs
--- a/src/GHC/Ptr_LHAssumptions.hs
+++ b/src/GHC/Ptr_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module GHC.Ptr_LHAssumptions where
 
diff --git a/src/GHC/Real_LHAssumptions.hs b/src/GHC/Real_LHAssumptions.hs
--- a/src/GHC/Real_LHAssumptions.hs
+++ b/src/GHC/Real_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 -- Reexports are necessary for LH to expose specs of type classes
 module GHC.Real_LHAssumptions(Integral(..), Fractional(..)) where
 
diff --git a/src/GHC/Types_LHAssumptions.hs b/src/GHC/Types_LHAssumptions.hs
--- a/src/GHC/Types_LHAssumptions.hs
+++ b/src/GHC/Types_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# LANGUAGE MagicHash #-}
 {-# OPTIONS_GHC -Wno-missing-signatures #-}
 module GHC.Types_LHAssumptions() where
diff --git a/src/GHC/Word_LHAssumptions.hs b/src/GHC/Word_LHAssumptions.hs
--- a/src/GHC/Word_LHAssumptions.hs
+++ b/src/GHC/Word_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module GHC.Word_LHAssumptions where
 
 {-@
diff --git a/src/Liquid/Prelude/Real_LHAssumptions.hs b/src/Liquid/Prelude/Real_LHAssumptions.hs
--- a/src/Liquid/Prelude/Real_LHAssumptions.hs
+++ b/src/Liquid/Prelude/Real_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module Liquid.Prelude.Real_LHAssumptions where
 
 import GHC.Num()
diff --git a/src/Liquid/Prelude/Totality_LHAssumptions.hs b/src/Liquid/Prelude/Totality_LHAssumptions.hs
--- a/src/Liquid/Prelude/Totality_LHAssumptions.hs
+++ b/src/Liquid/Prelude/Totality_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 {-# OPTIONS_GHC -Wno-unused-imports #-}
 module Liquid.Prelude.Totality_LHAssumptions where
 
diff --git a/src/Prelude_LHAssumptions.hs b/src/Prelude_LHAssumptions.hs
--- a/src/Prelude_LHAssumptions.hs
+++ b/src/Prelude_LHAssumptions.hs
@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
 module Prelude_LHAssumptions where
 
 import GHC.Base_LHAssumptions()