diff --git a/configure_for_cinderella b/configure_for_cinderella
index 3c0815e42184719e0023b820c414e0fe9d2847bc..8487c8eec8395661a491bd782e2d899142db99ad 100755
--- a/configure_for_cinderella
+++ b/configure_for_cinderella
@@ -1,4 +1,4 @@
 #!/bin/bash
 
 # pickup the CGC syscalls
-./configure_for_cgc --enable-inferfn
+./configure_for_cgc --enable-inferfn --enable-libc