diff --git a/src/upload.raku b/src/upload.raku
index 964e506..83503bb 100755
--- a/src/upload.raku
+++ b/src/upload.raku
@@ -72,7 +72,7 @@ sub MAIN() {
 
     # For each of our idris files, find the ttm, and generate the output in the
     # temporary directory
-    for @idris-files.hyper -> $idr {
+    for @idris-files.hyper :batch(1) -> $idr {
         render-idris-file $idr;
         # TODO : Build index
     }