diff --git a/security-monitor/Makefile b/security-monitor/Makefile
index acabe84..88d12cd 100644
--- a/security-monitor/Makefile
+++ b/security-monitor/Makefile
@@ -35,8 +35,11 @@ build: opensbi_bindings fmt
 	cp $(SM_WORK_DIR)/$(CHAIN)/release/$(EXEC_NAME) $(SM_WORK_DIR)/ ; \
 	rm -rf $(OPENSBI_WORK_DIR)/
 
-refinedrust:
-	RUSTFLAGS='$(RUSTFLAGS)' CARGO_TARGET_DIR=$(SM_WORK_DIR) INSTALL_DIR=$(ACE_DIR) $(CARGO) refinedrust $(RELEASE) $(TARGET) --features verbose
+refinedrust: opensbi_bindings
+	echo "Generating OpenSBI bindings" ;\
+	mkdir -p $(SM_WORK_DIR) ; \
+	RUSTFLAGS='$(RUSTFLAGS)' CARGO_TARGET_DIR=$(SM_WORK_DIR) INSTALL_DIR=$(ACE_DIR) $(CARGO) refinedrust $(RELEASE) $(TARGET) --features verbose ; \
+	rm -rf $(OPENSBI_WORK_DIR)/
 
 debug: opensbi_bindings
 	echo "Compiling the security monitor in DEBUG mode" ;\