diff --git a/Makefile b/Makefile
index 9d0744c..bec101b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 build: src/**.agda
-	agda src/Cat.agda
+	agda --library-file ./libraries src/Cat.agda
 
 clean:
 	find src -name "*.agdai" -type f -delete
diff --git a/libs/agda-stdlib b/libs/agda-stdlib
index 55ad461..2096269 160000
--- a/libs/agda-stdlib
+++ b/libs/agda-stdlib
@@ -1 +1 @@
-Subproject commit 55ad461aa4fc6cf22e97812b7ff8128b3c7a902c
+Subproject commit 209626953d56294e9bd3d8892eda43b844b0edf9