diff --git a/soc/picorv32/test/Makefile b/soc/picorv32/test/Makefile
index 10673acd9..a9feba744 100644
--- a/soc/picorv32/test/Makefile
+++ b/soc/picorv32/test/Makefile
@@ -23,9 +23,9 @@ check:
 
 fv:
 	# Formal verification of some components
-	(cd fv/ && sby f_pack.sby)
-	(cd fv/ && sby fifo.sby)
-	(cd fv/ && sby shortfifo.sby)
+	cd fv && sby f_pack.sby
+	cd fv && sby fifo.sby
+	cd fv && sby shortfifo.sby
 
 clean:
 	$(MAKE) -C ./badger_loopback clean