+# tried this:
+#ghc --make -static -optc-static -optl-shared-libgcc -optl-static \
+# -optl-pthread -pgml g++ "$file"
+# but cannot make it "only glibc is shared". And with static glibc,
+# getaddrinfo does not work on systems with different glibc.
+cabal build