diff --git a/cocotb/caravel_cocotb/docker/DockerFile b/cocotb/caravel_cocotb/docker/DockerFile
index 01980dd..7aa3690 100644
--- a/cocotb/caravel_cocotb/docker/DockerFile
+++ b/cocotb/caravel_cocotb/docker/DockerFile
@@ -87,7 +87,7 @@ RUN git clone https://github.com/steveicarus/iverilog.git && cd iverilog && \
 # clone and install RISC-V toolchain v 2023.07.07
 RUN git clone https://github.com/riscv/riscv-gnu-toolchain && \
     cd riscv-gnu-toolchain && git checkout 2023.07.07 && \
-    ./configure --prefix=/opt/riscv --enable-multilib --with-arch=rv32gc --with-abi=ilp32d && \
+    ./configure --prefix=/opt/riscv --enable-multilib --with-arch=rv32gc --with-abi=ilp32 && \
     make && \
     cd .. && rm -rf riscv-gnu-toolchain