diff --git a/main.sh b/main.sh
index 442873346..3a7da90c2 100755
--- a/main.sh
+++ b/main.sh
@@ -1,7 +1,7 @@
 #! /bin/bash
 
 set -e
-
+. ./pika-build-config.sh
 
 ### TEMP UNTIL BUILDER IS ADAPTED
 if [[ "$PIKA_BUILD_ARCH" == "i386" ]]